121. #Advances in logic, artificial intelligence, and robotics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع : Artificial intelligence- Congresses ،Logic, Symbolic and mathematical- Congresses ،Robotics- Congresses

رده :
#
Q
،#.
C69
،#
2002

122. Advances in logic, artificial intelligence and robotics: LAPTEC 2002

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Artificial intelligence -- Congresses,، Logic, symbolic and mathematical - Congresses,، Robotics -- Congresses

رده :
Q
334
.
A39

123. Advances in logic artificial intelligence and robotics LAPTEC 2002

کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)

موضوع : Artisicial intelligence - Congresses,Logic, Symbolic and mathematical - Congresses

رده :
{
1648
},
a10532fac62a75b806461958d7dac762

124. Advances in logic based intelligent systems

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Artificial intelligence Congresses,Logic, Symbolic and mathematical Congresses

رده :
Q
،
334
،.
C69
،
2005

125. Advances in logic based intelligent systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.

رده :
Q334
.
C69
2005

126. Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical

رده :
QA
9
.
A1N67
2004

127. Advances in technological applications of logical and intelligent systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses

128. After Godel : Platonism and rationalism in mathematics and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical

رده :
QA
9
.
T53A34

129. After Gغodel :Platonism and rationalism in mathematics and logic

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Gغodel, Kurt,، Logic, Symbolic and mathematical

رده :
QA9
.
T54
2011

130. Agent-Based Defeasible Control in Dynamic Environments.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.

رده :
Q339
.
D686
2010

131. Alan Turing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography

رده :
QA29
.
T8
C65
2013

132. Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ;

133. Alfred Tarski

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Tarski, Alfred,Logic, Symbolic and mathematical,Logicians- United States- Biography

رده :
QA
.
T32
,
F44
29
2004

134. Alfred Tarski: life and logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,United States -- Biography ، Logicians

رده :
QA
29
.
T32
F44
2008

135. Alfred Tarski: life and logic

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians-- United States

رده :
QA
29
.
T32
.
F44
2004

136. Alfred Tarski : life and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians -- United States

رده :
QA
29
.
T32F43

137. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics

رده :
QA
9
.
A1A42

138. Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings

رده :
QA
3
.
L28
Vol
.
450

139. Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings

رده :
QA
3
.
L28
no
.
450

140. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings

رده :
QA
1
.
L4
v
.
450